#include "arrint.h"
#include "isort.h"




arrInt
arrInt_isort(arrInt a)/* pre: n>=0 /\ a=A */
{

int i=0;/* inv: a[0,i) esta ordenado /\ a es permutación de A /\ los elementes de a[0,i)<= a[i,n]*/

     while(i<(a->n)-1){
	
	arrInt_insert(a,i);
	i=i+1;
                      }


  return a;
}/* pos: a esta ordenado /\ a es permutación de A*/

arrInt
arrInt_insert(arrInt a,int i)/*pre: n>=i>0 /\ a=A */
	
{
 int j=0;/* inv: a[0,i]/\a[0,j] estan ordenado /\ a es permutación de A */
 while(j<(a->n)-i-1){
 if (a->a[j] > a->a[j+1]){
    arrInt_swap(a,j,j+1);
	
		         }	
	j=j+1;
		     }

return a;

}/* pos: a[0,i] esta ordenado /\ a es permutación de A*/

